Buy Used and New Serdar Tasiran Books

Runtime Verification: Third International Conference, RV 2012, Istanbul, Turkey, September 25-28, 2012, Revised Selected Papers: 7687 (Lecture Notes in Computer Science)

by Shaz Qadeer,Serdar Tasiran

ISBN 13: 9783642356315

Format: Paperback (336 pages)
Publisher: Springer
Published: 11 Jan 2013

Save for later

Computer Aided Verification: 31st International Conference, CAV 2019, New York City, NY, USA, July 15-18, 2019, Proceedings, Part I: 11561 (Lecture Notes in Computer Science)

by Isil Dillig,Serdar Tasiran

ISBN 13: 9783030255398

Format: Paperback (696 pages)
Publisher: Springer
Published: 13 Jul 2019

Save for later

Computer Aided Verification

by Serdar Tasiran,Isil Dillig

ISBN 13: 9781013271168

Format: Paperback (680 pages)
Publisher: Saint Philip Street Press
Published: 08 Oct 2020

Save for later

Computer Aided Verification

by Serdar Tasiran,Isil Dillig

ISBN 13: 9781013271144

Format: Paperback (558 pages)
Publisher: Saint Philip Street Press
Published: 08 Oct 2020

Save for later

Computer Aided Verification

by Serdar Tasiran, Isil Dillig

ISBN 13: 9781013271151

Format: Hardcover (558 pages)
Publisher: Saint Philip Street Press
Published: 08 Oct 2020

Save for later